منابع مشابه
On two questions about feasibly constructive arithmetic
IPV is the intuitionistic theory axiomatized by Cook’s equational theory PV plus PIND on NP -formulas. Two extensions of IPV were introduced by Buss and by Cook and Urquhart by adding PIND for formulas of the form A(x) ∨ B, respectively ¬¬A(x), where A(x) is NP and x is not free in B. Cook and Urquhart posed the question of whether these extensions are proper. We show that in each of the two ca...
متن کاملConstructive Interaction for Talking about Interesting Topics
The paper discusses mechanisms for topic management in conversations, concentrating on interactions where the interlocutors react to each other’s presentation of new information and construct a shared context in which to exchange information about interesting topics. This is illustrated with a robot simulator that can talk about unrestricted (open-domain) topics that the human interlocutor show...
متن کاملVectors, routes and maps: new discoveries about navigation in insects.
More than a decade ago, social insects were thought by some to possess a cognitive map that allowed them to move along novel pathways between points in the environment. Subsequent experimentation, however , has established that insects navigate using vectors, snapshots and landmark-based routes, and do not use cognitive maps. Two recent papers have reported the investigation of the mechanisms t...
متن کاملWhat Analogies Reveal about Word Vectors and their Compositionality
Analogy completion via vector arithmetic has become a common means of demonstrating the compositionality of word embeddings. Previous work have shown that this strategy works more reliably for certain types of analogical word relationships than for others, but these studies have not offered a convincing account for why this is the case. We arrive at such an account through an experiment that ta...
متن کاملConstructive Interactions Constructive Interactions
The new paradigm of “knowledge construction using experiential based and collaborative learning approaches” is an outstanding opportunity for interdisciplinary research. This document is an attempt to introduce and exemplify as much as possible using the lexicon of “social sciences”, considerations and tools belonging to “artificial intelligence” (e.g.: the machine learning tradition). In the p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2005
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2005.06.021